$p$ = $q$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$p$.1 = $q$.1 $\wedge_{b}$ ($p$.2 =$_{0}$ $q$.2)